21. Finite and infinite combinatorics in sets and logic
پدیدآورنده : edited by N.W. Sauer, R.E. Woodrow, and B. Sands
کتابخانه: (طهران)
موضوع : Combinatorial analysis - Congresses , Set theory - Congresses , Logic, Symbolic and mathematical - Congresses
رده :
QA
164
.
N38
1991
22. Finite and infinite combinatorics in sets and logic: ]proceedings of the NATO Advanced Study Institute on Finite and Infinite Combinatorics in Sets and Logic, Banff, Alberta, Canada, April 21-May 4, 1991[
پدیدآورنده : edited by N.W. Sauer, R.E. Woodrow, and B. Sands
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses. ، Combinatorial analysis,Congresses. ، Set theory,Congresses. ، Logic, Symbolic and mathematical
رده :
QA
164
.
N38
1991
23. Formal concept analysis
پدیدآورنده : Petko Valtchev, Robert Jeaschke (eds.)
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع : Lattice theory, Congresses,Computer science, Mathematics, Congresses,Artificial intelligence, Mathematical models, Congresses,Mathematical analysis, Congresses,Logic, symbolic and mathematical, Congresses,Formal methods (Computer science), Congresses
رده :
QA
،
171
.
5
،.
I55
،
2011
24. Frege :
پدیدآورنده : Michael Beaney.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Frege, Gottlob,1848-1925.,Analysis (Philosophy),Language and languages-- Philosophy.,Logic, Symbolic and mathematical.,Logic.,Mathematics-- Philosophy.
رده :
B3245
.
F24
B43
1996
25. Frege and other philosophers
پدیدآورنده : Dummett, Michael A. E.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Frege, Gottlob,8481-5291,، Frege, Gottlob, 8481-5291-- Influence,، Logic, Symbolic and mathematical,، Analysis )Philosophy(
رده :
B
3245
.
F24
.
D865
1991
26. Frege and other philosophers
پدیدآورنده : Dummett, Michael
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : ، Frege, Gottlob,8481-5291,Influence ، Frege, Gottlob,8481-5291,، Logic, Symbolic and mathematical,، Analysis )Philosophy(
رده :
B3245
.
F24
D865
1991
27. Frege and other philosophers
پدیدآورنده : Dummett, Michael A. E.
کتابخانه: كتابخانه تخصصي لاتين پژوهشگاه علوم و فرهنگ اسلامي (دفتر تبليغات اسلامي حوزه علمیه قم) (قم)
موضوع : ، Frege, Gottlob,8481-5291,Influence. ، Frege, Gottlob,8481-5291,، Logic, Symbolic and mathematical.,، Analysis )Philosophy(
رده :
B
3245
.
F24D9
1991
28. Frege and other philosophers
پدیدآورنده : Dummett, Michael Anthony Eardley, 5291-1102
کتابخانه: (طهران)
موضوع : ، Frege, Gottlob, 8481-5291,Influence ، Frege, Gottlob, 8481-5291,، Logic, Symbolic and mathematical,، Analysis )Philosophy(
رده :
B
3245
.
F24D86
1991
29. Frege :making sense
پدیدآورنده : Beaney, Michael.
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : ، Frege, Gottlob,8481-5291,، Logic,، Logic, Symbolic and mathematical,، Analysis )Philosophy(,Philosophy ، Language and languages,Philosophy ، Mathematics
رده :
B3245
.
F24
B43
1996
30. Intelligent computer mathematics
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Algebra ; Data processing ; Congresses. ; Mathematical analysis ; Data processing ; Congresses. ; Logic, Symbolic and mathematical ; Congresses. ;
31. Interpolation Theory and Its Applications
پدیدآورنده : by L. A. Sakhnovich.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Fourier analysis.,Logic, Symbolic and mathematical.,Mathematics.,Operator theory.
32. Introduction to formal philosophy
پدیدآورنده : Sven Ove Hansson, Vincent F. Hendricks, editors; Esther Michelsen Kjeldahl, assistant editor
کتابخانه: (طهران)
موضوع : ، Philosophy,، Analysis )Philosophy(,، Computer science,، Logic, Symbolic and mathematical,، Ethics,Philosophy ، Language and languages
رده :
B
808
.
5
.
I56
33. Introduction to formal philosophy /
پدیدآورنده : Sven Ove Hansson, Vincent F. Hendricks, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Analysis (Philosophy),Computer science.,Ethics.,Logic, Symbolic and mathematical.,Analysis (Philosophy),Computer science.,Ethics.,Logic, Symbolic and mathematical.
رده :
B808
.
5
.
I58
2018
34. Introductory real analysis
پدیدآورنده : / by M. E. Munroe
کتابخانه: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع : Mathematical analysis,Logic, symbolic and mathematical
رده :
QA300
.
M86
35. Introductory real analysis
پدیدآورنده : / by M. E. Munroe
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Matheamtical analysis,Logic, Symbolic and mathematical
رده :
517
.
52
Mu-I
36. Introductory real analysis
پدیدآورنده : Munroe, Marshall Evans
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Mathematical analysis,، Logic, Symbolic and mathematical
رده :
QA
300
.
M76
37. Introductory real analysis
پدیدآورنده : Munroe, M. Evans)Marshall Evans(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Mathematical analysis,، Logic, Symbolic and mathematical
رده :
QA
300
.
M76
38. Introductory real analysis
پدیدآورنده : Munroe, M. Evans)Marshall Evans(
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Mathematical analysis,، Logic, Symbolic and mathematical
رده :
QA
300
.
M76
39. Lectures on non-standard analysis
پدیدآورنده : Machover, Moshe
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Mathematical analysis,، Logic, Symbolic and mathematical,، Uniform spaces
رده :
QA
3
.
L28
no
.
94
40. Logic and combinatorics
پدیدآورنده : [Edited by]& Stephen G. Simpson
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (أذربایجان الشرقیة)
موضوع : Logic symbolic and mathematical - Congresses,Combinatorial analysis - Congresses
رده :
QA
,
9
,.
A1A47
